/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#4=NGB25/FONT#5=STA200
␈↓ ↓H␈↓␈↓¬S␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305


␈↓ ↓H␈↓∧Telephone 415-497-1391␈↓ 	pJanuary 13, 1976
␈↓ ↓H␈↓∧or  415-497-4971



␈↓ ↓H␈↓Professor Jerome Feldman
␈↓ ↓H␈↓Dept of Computer Science
␈↓ ↓H␈↓Mathematical Sciences Bldg.
␈↓ ↓H␈↓University of Rochester
␈↓ ↓H␈↓Rochester, N.Y. 14627


␈↓ ↓H␈↓Dear Jerry,

␈↓ ↓H␈↓I'm␈αnow␈αin␈αmy␈αfourth␈αyear␈αas␈αa␈αCS␈αgrad␈αstudent;␈αI␈αhope␈αyou␈αremember␈αme␈αfrom␈αCordell's␈αgroup
␈↓ ↓H␈↓at␈α∞the␈α
AI␈α∞lab,␈α
or␈α∞from␈α
your␈α∞Lisp␈α
course.␈α∞ For␈α
my␈α∞dissertation,␈α
I've␈α∞been␈α
working␈α∞on␈α∞a␈α
program
␈↓ ↓H␈↓which␈α∞can␈α
develop␈α∞simple␈α
mathematical␈α∞concepts,␈α
which␈α∞aims␈α
at␈α∞expertise␈α
in␈α∞theorem␈α
␈↓↓proposing␈↓
␈↓ ↓H␈↓rather␈α⊂than␈α⊂theorem␈α⊃␈↓↓proving␈↓.␈α⊂ Each␈α⊂concept␈α⊂is␈α⊃represented␈α⊂as␈α⊂frame-like␈α⊂data␈α⊃structure␈α⊂whose
␈↓ ↓H␈↓facets␈α
or␈α
slots␈α∞contain␈α
procedural␈α
information.␈α∞The␈α
activity␈α
of␈α∞the␈α
system␈α
is␈α∞to␈α
≡ll␈α
in␈α∞blank␈α
slots
␈↓ ↓H␈↓(and␈αoccasionally␈αcreate␈αnew␈αconcepts),␈αwhich␈αmeans␈αcontinually␈αwriting␈αnew␈αlittle␈αprograms.␈α The
␈↓ ↓H␈↓system␈αtherefore␈αuses␈αskills␈αfrom␈α␈↓↓automatic␈αprogramming␈↓␈αto␈αtackle␈αa␈α␈↓↓theory␈αformation␈↓␈αtask.␈αA␈αbrief
␈↓ ↓H␈↓description of the project is enclosed.

␈↓ ↓H␈↓My␈α⊂committee␈α⊃consists␈α⊂of␈α⊂Cordell␈α⊃Green,␈α⊂Ed␈α⊂Feigenbaum,␈α⊃Bruce␈α⊂Buchanan,␈α⊂and␈α⊃Don␈α⊂Knuth.
␈↓ ↓H␈↓Cordell␈αand␈αEd␈αhave␈αsuggested␈αthat␈α
I␈αwrite␈αyou,␈αsince␈αI␈αexpect␈α
to␈αreceive␈αmy␈αPh.D.␈αby␈αnext␈αFall.␈α
I
␈↓ ↓H␈↓am␈α
interested␈α
in␈α∞a␈α
faculty␈α
position␈α
for␈α∞next␈α
year,␈α
and␈α
would␈α∞welcome␈α
the␈α
opportunity␈α∞to␈α
discuss
␈↓ ↓H␈↓the␈αmatter␈αwith␈αyou.␈αThe␈αyoung,␈αgrowing␈αnature␈αof␈αyour␈αdepartment␈αseems␈αparticularly␈α
appealing.
␈↓ ↓H␈↓I␈α∞could␈α∞visit␈α∞Rochester␈α∂sometime␈α∞this␈α∞Winter,␈α∞perhaps␈α∞in␈α∂February␈α∞or␈α∞early␈α∞March.␈α∞ If␈α∂there␈α∞is
␈↓ ↓H␈↓su≠cient interest, I'd be happy to give a colloquium on my dissertation research.



␈↓ ↓H␈↓␈↓ ε⊂Regards,






␈↓ ↓H␈↓␈↓ ¬vDoug  Lenat